#!/bin/sh
git tag -d $1
git push --delete origin $1
